Use CSS for spacing

Use CSS instead of St.Bin actors for spacing.

https://bugzilla.gnome.org/show_bug.cgi?id=612852

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index b5cce5cd946e0acfe4901a64044b8eea54d444d4..a55923425a74b09cf2df4565b75a09f1ce78d6ad 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -726,6 +726,7 @@ StTooltip {
     border: 0px;
     border-radius: 0px;
     padding: 4px;
+    spacing: 4.5px;
 }
 
 .ws-switcher-active-left {
@@ -744,14 +745,6 @@ StTooltip {
     border-radius: 4px;
 }
 
-.ws-switcher-spacer {
-    width: 0.5px;
-    height: 96px;
-    border: 0px;
-    background: transparent;
-    padding: 4px;
-}
-
 .ws-switcher-box {
     height: 96px;
     border: 2px solid rgba(85,85,85,0.5);

diff --git a/js/ui/workspaceSwitcherPopup.js b/js/ui/workspaceSwitcherPopup.js
index 31e380f1742d24f8947fc2c354bc29efb754127d..11ceebbf04ee1878db83f9f932e5773bd779f55b 100644 (file)
--- a/js/ui/workspaceSwitcherPopup.js
+++ b/js/ui/workspaceSwitcherPopup.js
@@ -60,11 +60,6 @@ WorkspaceSwitcherPopup.prototype = {
            this._list.add(indicator);
            indicator.set_width(Math.round(indicator.get_height() * this._scaleWidth));
 
-           if (i < global.screen.n_workspaces - 1) {
-               let spacer = new St.Bin({ style_class: 'ws-switcher-spacer' });
-               this._list.add(spacer);
-           }
-
         }
     },